N. Galesi: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

On the Proof Complexity of Paris-Harrington and Off-Diagonal Ramsey Tautologies

Carlucci, Lorenzo, Galesi, Nicola, Lauria, Massimo

Journal:

ACM Transactions on Computational Logic

Year:

2016

Language:

english

File:

PDF, 322 KB

english, 2016

2

[IEEE 2018 IEEE 38th International Conference on Distributed Computing Systems (ICDCS) - Vienna, Austria (2018.7.2-2018.7.6)] 2018 IEEE 38th International Conference on Distributed Computing Systems (ICDCS) - Tight Bounds for Maximal Identifiability of Failure Nodes in Boolean Network Tomography

Galesi, Nicola, Ranjbar, Fariba

Year:

2018

Language:

english

File:

PDF, 272 KB

english, 2018

3

Monotone Proofs of the Pigeon Hole Principle

Albert Atserias, Nicola Galesi, Ricard Gavaldà

Journal:

Mathematical Logic Quarterly

Year:

2001

Language:

english

File:

PDF, 218 KB

english, 2001

4

When polyploidy and hybridization produce a fuzzy taxon: the complex origin of the insular neoendemic Neotinea commutata (Orchidaceae)

Pavarese, Giuseppe, Tranchida-Lombardo, Valentina, Galesi, Rosario, D'Emerico, Saverio, Casotti, Raffaella, Cristaudo, Antonia, Cozzolino, Salvatore

Journal:

Botanical Journal of the Linnean Society

Year:

2013

Language:

english

File:

PDF, 453 KB

english, 2013

5

[IEEE 2011 IEEE Annual Conference on Computational Complexity (CCC) - San Jose, CA, USA (2011.06.8-2011.06.11)] 2011 IEEE 26th Annual Conference on Computational Complexity - Paris-Harrington Tautologies

Carlucci, Lorenzo, Galesi, Nicola, Lauria, Massimo

Year:

2011

Language:

english

File:

PDF, 454 KB

english, 2011

6

Optimality of size-degree tradeoffs for polynomial calculus

Galesi, Nicola, Lauria, Massimo

Journal:

ACM Transactions on Computational Logic

Year:

2010

Language:

english

File:

PDF, 212 KB

english, 2010

7

Rituximab in adult minimal change disease and focal segmental glomerulosclerosis - What is known and what is still unknown?

Gauckler, Philipp, Shin, Jae Il, Alberici, Federico, Audard, Vincent, Bruchfeld, Annette, Busch, Martin, Cheung, Chee Kay, Crnogorac, Matija, Delbarba, Elisa, Eller, Kathrin, Faguer, Stanislas, Galesi

Journal:

Autoimmunity Reviews

Year:

2020

File:

PDF, 4.15 MB

2020

8

Screening of subtelomeric rearrangements in autistic disorder: Identification of a partial trisomy of 13q34 in a patient bearing a 13q;21p translocation

Maria Antonietta Di Bella, Francesco Calì, Gregorio Seidita, Mario Mirisola, Angela Ragusa, Alda Ragalmuto, Ornella Galesi, Maurizio Elia, Donatella Greco, Marinella Zingale, Giovanna Gambino, Rosalba

Journal:

American Journal of Medical Genetics Part B: Neuropsychiatric Genetics

Year:

2006

Language:

english

File:

PDF, 201 KB

english, 2006

9

Mutational analysis of the ATRX gene by DGGE: A powerful diagnostic approach for the ATRX syndrome

Eugenia Borgione, Maurizio Sturnio, Angela Spalletta, Maria Angela Lo Giudice, Lucia Castiglia, Ornella Galesi, Angela Ragusa, Marco Fichera

Journal:

Year:

2003

Language:

english

File:

PDF, 146 KB

english, 2003

10

Thermofluid-dynamic analysis of ventilated facades

F. Patania, A. Gagliano, F. Nocera, A. Ferlito, A. Galesi

Journal:

Energy and Buildings

Year:

2010

Language:

english

File:

PDF, 540 KB

english, 2010

11

A lower bound for the pigeonhole principle in tree-like Resolution by asymmetric Prover–Delayer games

Olaf Beyersdorff, Nicola Galesi, Massimo Lauria

Journal:

Information Processing Letters

Year:

2010

Language:

english

File:

PDF, 132 KB

english, 2010

12

On the complexity of resolution with bounded conjunctions

Juan Luis Esteban, Nicola Galesi, Jochen Messner

Journal:

Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 339 KB

english, 2004

13

Monotone simulations of non-monotone proofs

Albert Atserias, Nicola Galesi, Pavel Pudlák

Journal:

Journal of Computer and System Sciences

Year:

2002

Language:

english

File:

PDF, 173 KB

english, 2002

14

A predicative and decidable characterization of the polynomial classes of languages

S. Caporaso, M. Zito, N. Galesi

Journal:

Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 149 KB

english, 2001

15

Space complexity of random formulae in resolution

Eli Ben-Sasson, Nicola Galesi

Journal:

Random Structures & Algorithms

Year:

2003

Language:

english

File:

PDF, 158 KB

english, 2003

16

Optimality of size-width tradeoffs for resolution

Maria Luisa Bonet, Nicola Galesi

Journal:

Computational Complexity

Year:

2001

Language:

english

File:

PDF, 212 KB

english, 2001

17

Degree complexity for a modified pigeonhole principle

Maria Luisa Bonet, Nicola Galesi

Journal:

Archive for Mathematical Logic

Year:

2003

Language:

english

File:

PDF, 164 KB

english, 2003

18

On the Automatizability of Polynomial Calculus

Nicola Galesi, Massimo Lauria

Journal:

Theory of Computing Systems

Year:

2010

Language:

english

File:

PDF, 462 KB

english, 2010

19

Kinetic response of aDrosophila melanogastercell line to different medium formulations and culture conditions

R. Bovo, A. L. L Galesi, S. A. C. Jorge, R. A. M. Piccoli, A. M. Moraes, C. A. Pereira, E. F. P. Augusto

Journal:

Year:

2008

Language:

english

File:

PDF, 489 KB

english, 2008

20

Growth of recombinantDrosophila melanogasterSchneider 2 cells producing rabies virus glycoprotein in bioreactor employing serum-free medium

Adriana L. L. Galesi, Marcelo A. Aguiar, Renato M. Astray, Elisabeth F. P. Augusto, Ângela M. Moraes

Journal:

Year:

2008

Language:

english

File:

PDF, 342 KB

english, 2008

21

1.5 Mb de novo 22q11.21 microduplication in a patient with cognitive deficits and dysmorphic facial features

A Alberti, C Romano, M Falco, F Calì, P Schinocca, O Galesi, A Spalletta, D Di Benedetto, M Fichera

Journal:

Clinical Genetics

Year:

2007

Language:

english

File:

PDF, 271 KB

english, 2007

22

Schizophrenia in a patient with subtelomeric duplication of chromosome 22q

P Failla, C Romano, A Alberti, A Vasta, S Buono, L Castiglia, D Luciano, D Di Benedetto, M Fichera, O Galesi

Journal:

Clinical Genetics

Year:

2007

Language:

english

File:

PDF, 157 KB

english, 2007

23

Three new patients with dup(17)(p11.2p11.2) without autism

D Greco, C Romano, S Reitano, C Barone, DD Benedetto, L Castiglia, M Fichera, O Galesi, M Zingale, S Buono, V Uliana, R Caselli, R Canitano, G Hayek, A Renieri

Journal:

Clinical Genetics

Year:

2008

Language:

english

File:

PDF, 189 KB

english, 2008

24

Bilateral periventricular nodular heterotopia and lissencephaly in an infant with unbalanced t(12;17)(q24.31; p13.3) translocation

Salvatore Grosso, Marco Fichera, Ornella Galesi, Daniela Luciano, Lucia Pucci, Francesca Giardini, Rosario Berardi, Paolo Balestri

Journal:

Developmental Medicine & Child Neurology

Year:

2008

Language:

english

File:

PDF, 701 KB

english, 2008

25

A t(4;9)(q34;p22) Translocation Associated with Partial Epilepsy, Mental Retardation, and Dysmorphism

Pasquale Striano, Maurizio Elia, Lucia Castiglia, Ornella Galesi, Sabina Pelligra, Salvatore Striano

Journal:

Year:

2005

Language:

english

File:

PDF, 111 KB

english, 2005

26

6q Terminal Deletion Syndrome Associated with a Distinctive EEG and Clinical Pattern: A Report of Five Cases

Maurizio Elia, Pasquale Striano, Marco Fichera, Roberto Gaggero, Lucia Castiglia, Ornella Galesi, Michela Malacarne, Mauro Pierluigi, Carmelo Amato, Sebastiano A. Musumeci, Corrado Romano, Silvia Majo

Journal:

Year:

2006

Language:

english

File:

PDF, 467 KB

english, 2006

27

Culture of transgenic Drosophila melanogaster Schneider 2 cells in serum-free media based on TC100 basal medium

Adriana L. L. Galesi, Carlos A. Pereira, Ângela M. Moraes

Journal:

Biotechnology Journal

Year:

2007

Language:

english

File:

PDF, 207 KB

english, 2007

28

Partial monosomy Xq(Xq23 → qter) and trisomy 4p(4p15.33 → pter) in a woman with intractable focal epilepsy, borderline intellectual functioning, and dysmorphic features

Arnaldo Bartocci, Pasquale Striano, Maria Margherita Mancardi, Marco Fichera, Lucia Castiglia, Ornella Galesi, Roberto Michelucci, Maurizio Elia

Journal:

Brain and Development

Year:

2008

Language:

english

File:

PDF, 1.26 MB

english, 2008

29

A very simple method for counting white cells in platelet units collected by apheresis

Piero Borzini, Marlwosa Fwa, Maria Dassi, Patrizia Proserpio, Amedeo Messina, Lorjwzo Gangi, Antonio Galesi, Trvana Villa, Gianalfredo Sciorelli

Journal:

Transfusion (Wiley)

Year:

1995

Language:

english

File:

PDF, 274 KB

english, 1995

30

Association between indicators of dementia and nutritional status in institutionalised older people

Lilian Fernanda Galesi, Vânia Aparecida Leandro-Merhi, Maria Rita Marques de Oliveira

Journal:

International Journal of Older People Nursing

Year:

2012

Language:

english

File:

PDF, 77 KB

english, 2012

31

Parameterized Bounded-Depth Frege Is not Optimal

Beyersdorff, Olaf, Galesi, Nicola, Lauria, Massimo, Razborov, Alexander A.

Journal:

ACM Transactions on Computation Theory

Year:

2012

Language:

english

File:

PDF, 142 KB

english, 2012

32

A de novo 8q22.2-24.3 duplication in a patient with mild phenotype

D. Concolino, M.A. Iembo, M.T. Moricca, M. Rapsomaniki, R. Marotta, O. Galesi, M. Fichera, C. Romano, P. Strisciuglio

Journal:

European Journal of Medical Genetics

Year:

2012

Language:

english

File:

PDF, 717 KB

english, 2012

33

Thermal performance of ventilated roofs during summer period

A. Gagliano, F. Patania, F. Nocera, A. Ferlito, A. Galesi

Journal:

Energy and Buildings

Year:

2012

Language:

english

File:

PDF, 1021 KB

english, 2012

34

Narrowing the Candidate Region for Congenital Diaphragmatic Hernia in Chromosome 15q26: Contradictory Results

L. Castiglia, M. Fichera, C. Romano, O. Galesi, L. Grillo, M. Sturnio, P. Failla

Journal:

The American Journal of Human Genetics

Year:

2005

Language:

english

File:

PDF, 194 KB

english, 2005

35

On the Relative Complexity of Resolution Refinements and Cutting Planes Proof Systems

Bonet, Maria Luisa, Esteban, Juan Luis, Galesi, Nicola, Johannsen, Jan

Journal:

SIAM Journal on Computing

Year:

2000

Language:

english

File:

PDF, 254 KB

english, 2000

36

The social representation of DOT-related tuberculosis by patients of Guarulhos at the metropolitan area of Sao Paulo, Brazil

V. Souza Pinto, V.M.N. Galesi, M.I.P.S. Braz

Journal:

International Journal of Infectious Diseases

Year:

2010

Language:

english

File:

PDF, 80 KB

english, 2010

37

Brief Report: Peculiar Evolution of Autistic Behaviors in Two Unrelated Children with Brachidactyly-Mental Retardation Syndrome

Luigi Mazzone, Lia Vassena, Liliana Ruta, Diego Mugno, Ornella Galesi, Marco Fichera

Journal:

Journal of Autism and Developmental Disorders

Year:

2012

Language:

english

File:

PDF, 246 KB

english, 2012

38

Definition of minimal duplicated region encompassing the XIAP and STAG2 genes in the Xq25 microduplication syndrome

Di Benedetto, Daniela, Musumeci, Sebastiano Antonino, Avola, Emanuela, Alberti, Antonino, Buono, Serafino, Scuderi, Carmela, Grillo, Lucia, Galesi, Ornella, Spalletta, Angela, Giudice, Mariangela Lo,

Journal:

American Journal of Medical Genetics Part A

Year:

2014

Language:

english

File:

PDF, 295 KB

english, 2014

39

A characterization of tree-like Resolution size

Beyersdorff, Olaf, Galesi, Nicola, Lauria, Massimo

Journal:

Information Processing Letters

Year:

2013

Language:

english

File:

PDF, 226 KB

english, 2013

40

[IEEE Comput. Soc Computational Complexity. Sixteenth Annual IEEE Conference - Chicago, IL, USA (18-21 June 2001)] Proceedings 16th Annual IEEE Conference on Computational Complexity - Monotone simulations of nonmonotone proofs

Atserias, A., Galesi, N., Pudlak, P.

Year:

2000

Language:

english

File:

PDF, 509 KB

english, 2000

41

[IEEE Proceedings. 19th IEEE Annual Conference on Computational Complexity, 2004. - Amherst, MA, USA (21-24 June 2004)] Proceedings. 19th IEEE Annual Conference on Computational Complexity, 2004. - The complexity of treelike systems over Λ-local formulae

Galesi, N., Thapen, N.

Year:

2004

Language:

english

File:

PDF, 619 KB

english, 2004

42

[IEEE Computer. Soc 44th Annual IEEE Symposium on Foundations of Computer Science - FOCS 2003 - Cambridge, MA, USA (11-14 Oct. 2003)] 44th Annual IEEE Symposium on Foundations of Computer Science, 2003. Proceedings. - Rank bounds and integrality gaps for cutting planes procedures

Buresh-Oppenheim, J., Galesi, N., Hoory, S., Magen, A., Pitassi, T.

Year:

2003

Language:

english

File:

PDF, 415 KB

english, 2003

43

[IEEE Comput. Soc 40th Annual Symposium on Foundations of Computer Science - New York City, NY, USA (17-19 Oct. 1999)] 40th Annual Symposium on Foundations of Computer Science (Cat. No.99CB37039) - A study of proof search algorithms for resolution and polynomial calculus

Bonet, M.L., Galesi, N.

Year:

1999

Language:

english

File:

PDF, 174 KB

english, 1999

44

[IEEE Comput. Soc Computational Complexity. Sixteenth Annual IEEE Conference - Chicago, IL, USA (18-21 June 2001)] Proceedings 16th Annual IEEE Conference on Computational Complexity - Space complexity of random formulae in resolution

Ben-Sasson, E., Galesi, N.

Year:

2000

Language:

english

File:

PDF, 754 KB

english, 2000

45

[IEEE Comput. Soc 39th Annual Symposium on Foundations of Computer Science - Palo Alto, CA, USA (8-11 Nov. 1998)] Proceedings 39th Annual Symposium on Foundations of Computer Science (Cat. No.98CB36280) - Exponential separations between restricted resolution and cutting planes proof systems

Bonet, M.L., Esteban, J.L., Galesi, N., Johannsen, J.

Year:

1998

Language:

english

File:

PDF, 177 KB

english, 1998

46

L'Erbario di F. Roccella di Piazza Armerina (Monti Ereisicilia)

Cristaudo, A., Galesi, R., Maugeri, G.

Journal:

Giornale botanico italiano

Year:

1996

File:

PDF, 92 KB

1996

47

How microsatellite analysis can be exploited for subtelomeric chromosomal rearrangement analysis in mental retardation

BORGIONE, E., GIUDICE, M. L., GALESI, O., CASTIGLIA, L., FAILLA, P., ROMANO, C., RAGUSA, A., FICHERA, M.

Journal:

Journal of Medical Genetics

Year:

2001

Language:

english

File:

PDF, 106 KB

english, 2001

48

Performance assessment of a solar assisted desiccant cooling system

Gagliano, Antonio, Patania, Francesco, Nocera, Francesco, Galesi, Aldo

Journal:

Thermal Science

Year:

2014

Language:

english

File:

PDF, 344 KB

english, 2014

49

Molecular Mechanisms Generating and Stabilizing Terminal 22q13 Deletions in 44 Subjects with Phelan/McDermid Syndrome

Bonaglia, Maria Clara, Giorda, Roberto, Beri, Silvana, De Agostini, Cristina, Novara, Francesca, Fichera, Marco, Grillo, Lucia, Galesi, Ornella, Vetro, Annalisa, Ciccone, Roberto, Bonati, Maria Teresa

Journal:

Year:

2011

File:

PDF, 510 KB

2011

50

Parameterized Complexity of DPLL Search Procedures

Beyersdorff, Olaf, Galesi, Nicola, Lauria, Massimo

Journal:

ACM Transactions on Computational Logic

Year:

2013

Language:

english

File:

PDF, 179 KB

english, 2013